$\forall$$i$:$\mathbb{Z}$. \{$\ldots\,$$i$\} $\in$ Type